skolem function meaning in Chinese
斯柯伦函数
Examples
- In this paper , a sufficient and necessary condition is given to judge whether skolem functions can be eliminated from the extracted procedure or not , and the extracting method is shown
本文给出了是否能抽取出无skolem函数的程序的充分必要条件,同时给出了抽取算法。